automatic reasoning造句

• The in this thesis an icai system is built for this subject using automatic reasoning
  本文恰是从事这方面的工作，研究一个带有自动推理功能的程序设计icai系统。
• Meanwhile, in order to automatically reason, an automatic reasoning program is developed based on artificial intelligence
  为帮助对模型进行推理分析,还采用了人工智能中的自动推理技术,编写了自动推理程序。
• In 1989, academician wu wen-tsun forwards wu differential characteristic method which establish theoretical basis for mechanical theorem proving of differential geometry and the research of automatic reasoning
  1989年吴文俊院士提出了吴?微分特征列法，为微分几何定理的机械化证明和自动推理的理论研究奠定了理论基础。
• Combining with knowledge representation and automatic reasoning principle of ai and generic paradigm, the system has these main functions : ? it is able to show different solutions of typical example; ( 2 ) it can automatically generate problems similar to the example for students to solve by providing them with clues; ( 3 ) these problems can be studied by demonstrating the complete solution process and answers with the help of automated reasoning, or by providing real-time prompts to students concurrent with the students " solution processes with the help of automated reasoning; ? it provides exercises and is able to call a program produced by the group ( the translator ), which transfers apla programs to executable programs so as to verify its correctness; ( 5 ) it let teacher to add examples in the database; etc . hi the course of systematic research, we deeply investigated the relevant knowledge of the system and made some innovation : about teaching content, we select par method as the main content
  本系统选用薛锦云教授的par方法为主要教学内容，应用人工智能的知识表示和自动推理原理及泛型思想，使得系统具有以下核心功能：展示几种典型例题的解；以泛型思想为指导，实现了无限题库，可以自动生成与典型例题类似的问题给学生求解并给予提示；对于这些题目，计算机可以自动推理出由问题到程序的全过程供学生学习；也可通过自动推理根据用户的实际做题情况实时给出提示，交互式地帮助学生学习算法程序设计；学生可以从问题库中获得练习，并调用转换器，将自己的apla程序转化为可执行语言程序，运行以检验其正确性；对教师而言，可以对已有的实例库、问题库进行添加操作等。在系统的研制过程中，我们深入研究了系统的各方面相关知识，并进行了多方面的创新：在教学内容方面，首次选用par方法为主要内容。